81. Combinatorial set theory :with a gentle introduction to forcing
پدیدآورنده: Halbeisen, Lorenz J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
2012
82. Complete theories
پدیدآورنده: / Abraham Robinson
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Model theory,Algebraic fields
رده :
QA
9
.
7
.
R6
1977
83. Complete theories
پدیدآورنده: / Abraham Robinson
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Model theory,Algebraic fields
رده :
QA
9
.
7
.
R6
84. Complete theories
پدیدآورنده: Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Model theory,، Fields, Algebraic
رده :
QA
9
.
7
.
R6
1977
85. Constructible sets with applications
پدیدآورنده: / A. Mostowski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Axiomatic set theory,Model theory
رده :
512
.
817
Mo-C
86. Definable additive categories : purity and model theory
پدیدآورنده: Mike Prest
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Abelian categories,، Model theory
رده :
QA
3
.
A475
no
.
987
87. Descriptive set theory and definable forcing
پدیدآورنده: Jindrich Zapletal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
88. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده: Arnold W. Miller
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
89. Distribution models theory /
پدیدآورنده: editors Rafael Herrerías-Pleguezuelo, José Callejón-Céspedes, and José Manual Herrerías Velasco
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Distribution (Probability theory),Model theory
رده :
QA9
.
7
.
D58
2006
90. Distribution models theory
پدیدآورنده: / editors Rafael Herrerias Pleguezuelo, Jose callejon cespedes, and Jose manual Herrerias Velasco
کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Model theory,Distribution (Probability theory)
رده :
QA
9
.
7
.
D578
2006
91. Effective lagrangians for the standard model
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Standard model (Nuclear physics) - Mathematics,Quantum field theory,Particles (Nuclear physics) - Chirality,Broken symmetry (Physies),Quantum gravity
رده :
QC
,
794
.
6
,.
S75E34
,
1997
92. Effective lagrangians for the standard model
پدیدآورنده: A. Dobado... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Standard model )Nuclear physics(,، Quantum field theory,، Particles )Nuclear physics( -- Chirality,، Broken symmetry )Physics(,، Quantum gravity
رده :
QC
794
.
6
.
S75E34
93. Effective mathematics of the uncountable /
پدیدآورنده: edited by Noam Greenberg (Victoria University of Wellington), Joel David Hamkins (City University of New York), Denis Hirschfeldt (University of Chicago), Russell Miller (City University of New York).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Model theory.
94. Electromagnetic field computation by Network methods
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Electromagnetic fields -- Data processing.,Electromagnetic theory -- Data processing.,Electromagnetic fields -- Mathematical models.,Elektromagnetisches Feld -- Numerisches- Verfahren.,Numerisches Verfahren. swd
رده :
530
.
1410285
F324
95. Electronic phase transitions /
پدیدآورنده: volume editors, W. Hanke, Yu.V. Kopaev
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Anderson model,Electronic structure,Energy-band theory of solids
رده :
QC176
.
8
.
E4
E36
1992
96. Elementary end extensions in model theory and set theory
پدیدآورنده: by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Logic, Symbolic and mathematical,Model theory,Set theory
97. Elements of finite model theory
پدیدآورنده: Libkin, Leonid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
L53
2004
98. Elements of finite model theory
پدیدآورنده: by Leonid Libkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Model theory.
رده :
QA9
.
7
B954
2011
99. Endliche Strukturen /
پدیدآورنده: Kristina Reiss, Gernot Stroth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.,Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.
رده :
QA300
.
R45
2011eb
100. Essential stability theory
پدیدآورنده: Buechler, Steven
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Model theory , Stability
رده :
QA
9
.
7
.
B84
1996
